Category Dependent Types
Top Packages
Packages that have the most dependencies to them from other packages in this category.
- singletons 105
- reflection 66
- dependent-sum 24
- dependent-map 11
- idris 4
- type-fun 4
- open-typerep 2
- parameterized-utils 2
- singleton-nats 2
- agda-snippets 1
- Agda-executable 0
- MiniAgda 0
- PandocAgda 0
- Sit 0
- agda-server 0
- agda-snippets-hakyll 0
- compare-type 0
- cubical 0
- eliminators 0
- helf 0
Top Paired Categories
Categories that are often combined with this category.
- Data 36652
- Data Structures 12226
- Development 2279
- Language 1386
- Compilers/interpreters 419
- Configuration 196
- Theorem Provers 77
- Reflection 76
- Optimization 47